$\forall$$r$:Rng, $a$, $b$:$\mid$$r$$\mid$. ($a$ +$r$ (({-}$r$($a$)) +$r$ $b$)) = $b$ \& (({-}$r$($a$)) +$r$ ($a$ +$r$ $b$)) = $b$